大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Applications of Soft Computing [electronic resource] : From Theory to Praxis

0
索取号：
作者：Mehnen、 J枚rn.、K枚ppen、 Mario.、Saad、 Ashraf.、Tiwari、 Ashutosh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Geometry and Graph Theory [electronic resource] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers

0
索取号：
作者：Ito、 Hiro.、Kano、 Mikio.、Katoh、 Naoki.、Uno、 Yushi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory and Practice of Uncertain Programming [electronic resource]

0
索取号：
作者：Liu、 Baoding.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Water Resources and Hydraulic Engineering [electronic resource] : Proceedings of 16th IAHR-APD Congress and 3rd Symposium of IAHR-ISHS

0
索取号：
作者：Zhang、 Changkuan.、Tang、 Hongwu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

A Generative Theory of Relevance [electronic resource]

0
索取号：
作者：Lavrenko、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings

0
索取号：
作者：Holzinger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Bohmian Mechanics [electronic resource] : The Physics and Mathematics of Quantum Theory

0
索取号：
作者：Teufel、 Stefan.、D眉rr、 Detlef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

0
索取号：
作者：Kulkarni、 Sandeep.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

0
索取号：
作者：Ramalingam、 G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

0
索取号：
作者：Kawano、 Yasuhito.、Mosca、 Michele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Cryptology - ASIACRYPT 2008 [electronic resource] : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings

0
索取号：
作者：Pieprzyk、 Josef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings

0
索取号：
作者：Amir、 Amihood.、Turpin、 Andrew.、Moffat、 Alistair.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Nagl、 Manfred.、Z眉ndorf、 Albert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

0
索取号：
作者：Bassiliades、 Nick.、Governatori、 Guido.、Paschke、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings

0
索取号：
作者：Ma、 Yan.、Choi、 Deokjai.、Ata、 Shingo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.